退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于属性的代码切片,可有效验证OSEK / VDX操作系统
Mingyu Park; Taejoon Byun; Yunja Choi;
机译:使用OSEK / VDX操作系统的正式行为模式的可配置V&V框架
机译:嵌入式操作系统的分析:Windows CE,Linux,VxWorks,UC / OS-II和OSEK / VDX
机译:用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查
机译:使用CSP建模和验证代码级OSEK / VDX操作系统
机译:基于属性的操作系统内核完整性监视。
机译:结核病相关非编码RNA诊断板的系统评估验证和比较
机译:基于属性的代码切片可有效验证OsEK / VDX操作系统
机译:用于汽车中央门锁系统的电子锁在操作门锁之前会验证电子编码钥匙和钥匙提供的编码操作信号是否正确插入
机译:用于使用混合代码运行的通信系统的代码生成器和解码器,以允许通信系统的多种有效使用
机译:用于使用混合代码运行的通信系统的代码生成器和解码器,以允许通信系统的多个有效用户
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。